21. Applied artificial intelligence
پدیدآورنده : / edited by Da Ruan ... [et al.]
کتابخانه: المكتبة المركزية لجامعة إيلام (إیلام)
موضوع : Computational intelligence, Congresses,Nuclear physics, Mathematics, Congresses,Nuclear engineering, Mathematics, Congresses,Fuzzy logic, Congresses,Artificial intelligence, Congresses
رده :
Q342
.
I57
2006
22. Applied artificial intelligence :proceedings of the 7th International FLINS Conference, Genova, Italy, 29-31 August 2006
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع : Congresses ، Computational intelligence,Congresses ، Nuclear physics - Mathematics,Congresses ، Nuclear engineering - Mathematics,Congresses ، Fuzzy logic,Congresses ، Artificial intelligence
رده :
Q
342
.
I57
2006
23. Applied physics, system science and computers II :
پدیدآورنده : Klimis Ntalianis, Anca Croitoru, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses.,Physics, Congresses.,System theory, Congresses.,Biological and Medical Physics, Biophysics.,Electrical Engineering.,Engineering.,Mathematical Modeling and Industrial Mathematics.,Operating Procedures, Materials Treatment.,Biophysics.,Computer science.,Electrical engineering.,Mathematical modelling.,Physics.,Production engineering.,SCIENCE-- Energy.,SCIENCE-- Mechanics-- General.,SCIENCE-- Physics-- General.,System theory.
رده :
QC1
24. Artificial Intelligence and Applied Mathematics in Engineering Problems
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع :
25. Artificial Intelligence and Dynamic Systems for Geophysical Applications
پدیدآورنده : by Alexei Gvishiani, Jacques Octave Dubois.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science-- Mathematics.,Geographical information systems.,Geography.,Optical pattern recognition.,Physical geography.
26. Artificial Intelligence in Higher Education :
پدیدآورنده : by Vladimir Marik, Olga Stepankova, Zdenek Zdrahal.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
رده :
Q335
.
7
B985
1990
27. Artificial intelligence in computational engineering
پدیدآورنده : KLEIBER,MICHAL
کتابخانه: (طهران)
موضوع : ENGINEERING MATHEMATICS-DATA PROCESSING , ARTIFICIAL INTELLIGENCE
رده :
TA
331
.
A77
28. Artificial intelligence in power system optimization /
پدیدآورنده : authors, Weerakorn Ongsakul, Dieu Ngoc Vo.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Electric power systems-- Automatic control.,Intelligent control systems.,MATHEMATICS / Applied.,MATHEMATICS / General.,TECHNOLOGY & ENGINEERING / Power Resources / Electrical.
29. Artificial neural networks in biological and environmental analysis
پدیدآورنده : / Grady Hanrahan
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Artificial intelligence--Biological applications,Biology--Data processing,Environmental engineering--Data processing,Neural networks (Computer science)--Scientific applications
رده :
QH324
.
25
.
H36
2011
30. Automated Deduction - A Basis for Applications
پدیدآورنده : edited by Wolfgang Bibel, Peter H. Schmitt.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
31. Automated deduction in geometr
پدیدآورنده : / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
رده :
QA448
.
D38
,
I58
2011
32. Automated technology for verification and analysis :
پدیدآورنده : Shuvendu K. Lahiri, Chao Wang (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
A96
34. BL,BL
پدیدآورنده : / Marshall G.S. Hodgson. ,20090530 0
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
35. Building Innovation Pipelines through Computer-Aided Innovation
پدیدآورنده : edited by Denis Cavallucci, Roland Guio, Gaetano Cascini.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computer simulation.,Computer-aided design.,Engineering mathematics.,Software engineering.
36. Cellular Automata, Dynamical Systems and Neural Networks
پدیدآورنده : edited by Eric Goles, Servet Martínez.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational complexity.,Information theory.,Physics.
37. Certified programs and proofs :
پدیدآورنده : Jean-Pierre Jouannaud, Zhong Shao (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
C37
2011eb
38. Computational Intelligenc
پدیدآورنده : / edited by Christine L. Mumford, Lakhmi C. Jain
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Engineering.,Artificial intelligence.,Mathematics.,Engineering mathematics.
رده :
TA
,
329-348
TA
,
640-643
39. Computational Intelligence in Reliability Engineering
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Engineering. ; Artificial intelligence. ; Mathematics. ; Engineering mathematics. ; System safety. ; Engineering. ; Appl.Mathematics/Computational Methods of Engineering. ; Artificial Intelligence (incl. Robotics). ; Quality Control, Reliability, Safety a
40. Computational and statistical methods in intelligent systems /
پدیدآورنده : Radek Silhavy, Petr Silhavy, Zdenka Prokopova, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence-- Mathematics, Congresses.,Computer algorithms, Congresses.,Artificial Intelligence.,Computational Intelligence.,Artificial intelligence-- Mathematics.,Computer algorithms.,COMPUTERS / General
رده :
Q334
